1

Stability properties of parabolic equations in unbounded domains

Year:
1998
Language:
english
File:
PDF, 228 KB
english, 1998
2

Letters to the Editor

Year:
1989
Language:
english
File:
PDF, 1.21 MB
english, 1989
4

Dynamic security corrective control by UPFCs

Year:
2001
Language:
english
File:
PDF, 123 KB
english, 2001
5

On barinduction of higher types for decidable predicates

Year:
1973
Language:
english
File:
PDF, 3.55 MB
english, 1973
6

Instable solutions of nonlinear parabolic equations in R3

Year:
1987
Language:
english
File:
PDF, 1.52 MB
english, 1987
8

Lower bound results on lengths of second-order formulas

Year:
1985
Language:
english
File:
PDF, 2.04 MB
english, 1985
9

(L^2)of periodic equilibria of reaction diffusion systems

Year:
1994
Language:
english
File:
PDF, 1.55 MB
english, 1994
10

Some applications of Gentzens second consistency proof

Year:
1969
Language:
english
File:
PDF, 1.49 MB
english, 1969
11

A model of intuitionistic analysis

Year:
1970
Language:
english
File:
PDF, 1.81 MB
english, 1970
12

Logic with Positive and Negative Truth Valuesby C. C. Chang

Year:
1971
Language:
english
File:
PDF, 336 KB
english, 1971
14

Complexity of Subcases of Presburger Arithmetic

Year:
1984
Language:
english
File:
PDF, 1.85 MB
english, 1984
15

Zwei Unentscheidbare Probleme Der Analysis

Year:
1963
Language:
german
File:
PDF, 1.25 MB
german, 1963
16

On a Family of Models of Zermelo-Fraenkel Set Theory

Year:
1966
Language:
english
File:
PDF, 916 KB
english, 1966
17

A Formally Constructive Model for Barrecursion of Higher Types

Year:
1972
Language:
english
File:
PDF, 4.04 MB
english, 1972
18

COMPLETE SECOND ORDER SPECTRA

Year:
1984
Language:
english
File:
PDF, 978 KB
english, 1984
19

Induction and transfinite induction in intuitionistic systems

Year:
1972
Language:
english
File:
PDF, 3.34 MB
english, 1972
20

Fourier analysis on dynamical systems

Year:
1978
Language:
english
File:
PDF, 1.15 MB
english, 1978
21

Complex boolean networks obtained by diagonalization

Year:
1985
Language:
english
File:
PDF, 491 KB
english, 1985
22

Recursive analysis of singular ordinary differential equations

Year:
2010
Language:
english
File:
PDF, 553 KB
english, 2010
26

Conditional expectations of stationary processes

Year:
1981
Language:
english
File:
PDF, 995 KB
english, 1981
27

Entropy and nonlinear prediction

Year:
1979
Language:
english
File:
PDF, 835 KB
english, 1979
31

Hilbertraum-Approximation und Jacobi-Matrizen

Year:
1979
Language:
german
File:
PDF, 918 KB
german, 1979
32

Predicting the future of functions on flows

Year:
1978-1979
Language:
english
File:
PDF, 890 KB
english, 1978-1979
34

A class of singular boundary value problems

Year:
1989
Language:
english
File:
PDF, 1.56 MB
english, 1989
36

Comments on `Two Undecidable Problems of Analysis'

Year:
2003
Language:
english
File:
PDF, 67 KB
english, 2003
37

Two Undecidable Problems of Analysis

Year:
2003
Language:
english
File:
PDF, 193 KB
english, 2003
39

Dynamic Security Corrective Control by UPFCs

Year:
2001
Language:
english
File:
PDF, 301 KB
english, 2001
44

Further Results on Infinite Valued Predicate Logicby L. P. Belluce

Year:
1971
Language:
english
File:
PDF, 212 KB
english, 1971